Haskell Yoneda,CoYoneda
米田の補題
のHaskellでの定義
code:memo.hs
newtype Yoneda f a = Yoneda { runYoneda :: forall b. ((a -> b) -> f b) }
forall
は
ランクN多相
のやつ？
Control.Functor.Yonedaパッケージ
Control.Functor.Yoneda
Coyoneda
GADTs
Lens
メモ
YonedaとCoYoneda、そしてFunctor - capriccioso String Creating(Object something){ return My.Expression(something); }
Introduction to Yoneda and Coyoneda
Haskellのforallについて理解したことを書いておく(ランクN多相限定)。 - uehaj's blog
7.12. 型システムへのその他の拡張
#Haskell
#圏論